home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / src / kernel / sprite / Kgdb < prev    next >
Encoding:
Text File  |  1992-07-09  |  600 b   |  32 lines
  1. #!/bin/csh -f
  2.  
  3. onintr cleanup
  4.  
  5. set tmpfile = /tmp/Kgdb.$$
  6.  
  7. if (($#argv != 1) && ($#argv != 2)) then
  8.     echo "Useage: $0 kernel [core]"
  9.     exit 1
  10. endif
  11.  
  12. set machine = $1:r
  13. set machine = $machine:r
  14.  
  15. if ($machine == "sun4c") then
  16.     set machine = "sun4"
  17. endif
  18.  
  19. set version=`echo $1 | sed -e 's/[a-z0-9]*\.//'`
  20. if ("$version" !~ 1.*) set version=""
  21. echo Debugging $machine kernel version \"$version\"
  22. if ("$version" == "") then
  23.     set SRC=..
  24. else
  25.     set SRC=../Snapshots/$version
  26. endif
  27.  
  28. cat ../Modules | sed "s,^,dir $SRC/,g" > $tmpfile
  29. kgdb -m$machine -nx -command $tmpfile $*
  30. cleanup:
  31. rm $tmpfile
  32.